面向Agent的CPN及其在航天装备体系评价中的应用

为弥补Agent和Petri网在各自建模中的缺陷,分析了二者现有的几种结合方式,给出面向Agent的着色Petri网(AOCPN)的定义及其运行规则和分析方法。利用AOCPN建立了以海上目标监视和打击为任务的航天装备体系评价模型,对其逻辑特性和作战效能进行了分析。建模过程和仿真结果表明,AOCPN能够完整描述体系的逻辑和物理特性,可用于全面分析评价体系的性能和对作战结果的影响,有效追踪体系执行任务的过程。     

基于模糊Petri网的实时系统功能模型构建

Petri网在描述具有模糊行为的系统时是有缺陷的,为了更好地分析、评价和开发实时系统,提出了一种利用模糊Petri网构建实时系统功能模型的方法,阐述了模糊Petri网的基本原理,详细介绍了利用模糊Petri网的特征分析实时系统的功能及绘制实时系统功能模型的步骤。     

基于PETRI网的防空指控系统的建模及分析

防空导弹武器指控系统是一个分布式实时多任务数据处理系统,其特点是实时性、并发、异步和多任务。PETR I网是一种描述和分析异步并发现象的一种有效的模型工具。以PETR I网为工具,建立了防空导弹武器指控系统模型,并对其结构性能、任务的忙闲程度、死锁进行了定性分析,然后实现了模型和程序结构的自动转换。从一个新的角度对防空导弹武器指控系统进行了分析和评价,实践证明这种方法是可行的。     

基于赋时Petri网的自动测试系统建模

提出了利用赋时Petri网(Tim ed Petri Net)对自动测试系统建模和性能分析的方法。采用启发式算法,对系统的可达树进行搜索,实现测试序列的优化,不仅降低了计算的复杂度,而且获得了满意的并行度,提高了自动测试系统的测试效率。     

一个分布式并行设计集成框架系统的研究与开发

复杂产品的设计日益复杂 ,推向市场的时间日益缩短 ,并行设计技术得到广泛应用。文中实现了一个支持复杂产品多领域并行设计的集成框架YC bridge。该集成框架的开发采用符合CORBA规范的Client/Server中间件 ,实现了基于设计体模型的设计数据管理、基于语义模型的工具封装和基于扩展网络图模型的设计过程管理。YC bridge已在实际设计工作中得到较好的应用     

PETRI网理论在航空电子综合化系统中的应用

提出航空电子综合化系统与PETRI网理论之间的关系,给出航空电子综合化系统组网元素的PETRI网表达方法,以及航空电子综合化系统中指令消息格式的PETRI网模型,并以某型飞机航空电子综合化系统为实例,进行了建模、分析和优化的仿真.     

有交易费的套期保值未定权益的最小债券价值量

讨论带交易费的多种股票的市场模型中未定权益的套期保值定价问题,提出折算函数作为总资产的一种较为合理的衡量方式,并来刻画套期保值策略,从而,利用鞅方法和折算函数的性质,得到带交易费套期保值未定权益的最小债券价值量结果。     

带交易费的市场模型和未定权益套期保值

给出了有交易费的且多种股票参与交易的市场模型,并且讨论在此市场模型下的未定权益套期保值问题,在这一模型中,假定仅债券与股票之间有交易,而不同股票之间不直接进行交易以及交易费率是常数。     

浅淡军用飞机1553B数据总线网络验收

针对如何进行军用飞机1553B 总线网络的验收,对总线长度,绝缘试验,连续试验,阻抗试验,极性试验,输出电性能试验等诸多验收内容进行了必要的理论分析和探讨,并对具体的测试方法进行了系统的归纳和总结,对军用飞机1553B 数据总线网络的系统设计和综合有实用价值。     

军事专家系统的谓词Petri网描述及其时延分析

介绍了一种基于产生式系统的军事专家系统结构,用谓词Ｐｅｔｒｉ网描述了其不精确推理过程和推理网的动态推理过程。给出了一种适合于平行处理的谓词Ｐｃｔｒｉ网模型并对军事专家系统的时延进行了分析。